#include <iostream>
using namespace std;
int main()
{
	int a, b, c;
	cin >> a >> b >> c;
	int r = (int)(a * 0.2 + b * 0.3 + c * 0.5)
	cout << r << endl;
	
	return 0;
}
